% ===================================================================== %
% Standard titlepage for reduce library                                 %
% ===================================================================== %

\begin{titlepage}

\setcounter{page}{1}                      % titlepage IS page 1 !

% --------------------------------------------------------------------- %
% Name of the library.                                                  %
% --------------------------------------------------------------------- %

\mbox{}
\vskip20mm
\begin{center}
{\Huge\bf The HOL pair Library}
\end{center}

% --------------------------------------------------------------------- %
% Name of the author                                                    %
% --------------------------------------------------------------------- %

\vskip15mm
\begin{center}
\large\bf Jim Grundy
\end{center}

% --------------------------------------------------------------------- %
% Address of the author                                                 %
% --------------------------------------------------------------------- %

\vfill
\begin{center}
\bf
University of Cambridge, Computer Laboratory\\
New Museums Site, Pembroke Street\\
Cambridge, {\small\bf CB}2 3{\small\bf QG}, England.
\end{center}

% --------------------------------------------------------------------- %
% Date.                                                                 %
% --------------------------------------------------------------------- %

\vskip5mm
\begin{center}
\bf November 1992
\end{center}

\end{titlepage}

% --------------------------------------------------------------------- %
% To kick a blank page with no header (back of title page is blank).    %
% --------------------------------------------------------------------- %
\thispagestyle{empty}
\mbox{}

% --------------------------------------------------------------------- %
% Copyright notice (if desired).                                        %
% --------------------------------------------------------------------- %
\vfill
\begin{center}
    \begin{tabular}{l}
	Copyright \copyright\ Jim Grundy 1992	\\
	All rights reserved
    \end{tabular}
\end{center}
\newpage
